// #include "bsp.h"
#include "Mini58Series.h"





void bsp_led_init(void) {
  GPIO_SetMode(P1, BIT3, GPIO_MODE_OUTPUT);
  GPIO_SetMode(P1, BIT2, GPIO_MODE_OUTPUT);
  GPIO_SetMode(P1, BIT0, GPIO_MODE_OUTPUT);
  
  P13 =1;
  P12 =1;
  P10 =1;
}



